RWTH Aachen University - PDFSEARCH.IO - Document Search Engine

RWTH Aachen University
Results: 580

#	Item
41	Visualizing the Evolution of Ontologies: A Dynamic Graph Perspective Michael Burch1 and Steffen Lohmann2 1 VISUS, University of Stuttgart, Germany Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2015-09-24 09:00:50 Semantic Web Computing Information science Ontology Knowledge representation Information Knowledge engineering Web Ontology Language Visualization Resource Description Framework Upper ontology OBO Foundry
42	Probabilistic Modeling and Model Checking Erika Ábrahám RWTH Aachen University, Germany SFM’14 Tutorial June 17, 2014 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2014-06-19 19:17:22 Probability Probabilistic complexity theory Probability theory PRISM model checker Software Sample space Model checking Stochastic process Randomized algorithm
43	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther
44	Fink_deutscherkurzcv_18012016 Add to Reading List Source URL: neurologie-psychiatrie.uk-koeln.de Language: English - Date: 2016-03-14 04:56:13 States of Germany Aachen RWTH Aachen University Cologne North Rhine-Westphalia
45	A Analyzing Runtime and Size Complexity of Integer Programs Marc Brockschmidt, Microsoft Research Fabian Emmes, RWTH Aachen University Stephan Falke, Karlsruhe Institute of Technology Carsten Fuhs, Birkbeck, University o Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2016-08-06 17:53:41 Nuclear magnetic resonance Relaxation
46	SPARQL Playground: a Block Programming Tool to Experiment with SPARQL Paolo Bottoni and Miguel Ceriani Sapienza, University of Rome, Italy , Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2015-09-24 09:00:52 Computing Data management Data Semantic Web Query languages Resource Description Framework Web services SPARQL Semantic query RDF Schema Triplestore RDF query language
47	A secure infrastructure for mobile blended learning applications M. Politze1, S. Schaffert2, B. Decker3 1 IT Center RWTH Aachen University, Seffenter Weg 23, 52074 Aachen, Add to Reading List Source URL: www.eunis.org Language: English - Date: 2016-04-18 03:54:21 Enterprise application integration Web services Computing Software engineering Architectural pattern Service-oriented architecture Eduroam Service-oriented Software Internet of things Mobile app
48	Results of the Best Poster Award Competition at the 20th International Student Scientific Conference Poster 2016 Session Biomedical Engineering 1 Pascal Vetter (RWTH Aachen): An Online Signal Processing Chain for Add to Reading List Source URL: radio.feld.cvut.cz Language: English - Date: 2016-05-30 08:02:39 Czech Technical University in Prague RWTH Aachen University Education
49	Using Dependence Relations in MeSH as a Framework for the Analysis of Disease Information in Medline Lowell Vizenor Medical Ontology Research U. S. National Library of Medicine Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2006-04-25 12:52:53 University Athletic Association of the Philippines Russian people Indian general election Results of the 2004 Indian general election by party MOSCED
50	Monte Carlo Methods for Quantum Spin Models Stefan Wessel Institute for Theoretical Solid State Physics JARA-FIT and JARA-HPC RWTH Aachen University Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2013-09-26 13:04:03 Physics Quantum mechanics Electromagnetism Statistical mechanics Heisenberg model Magnetic ordering Quantum magnetism Werner Heisenberg Quantum Monte Carlo Spin Ising model

UPDATE